when\{$g$\} $b$. $p$ $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$if $b$ then $p$ else e$g$ fi